• Home
  • Advanced Search
  • Directory of Libraries
  • About lib.ir
  • Contact Us
  • History
تعداد ۶۵۲ پاسخ غیر تکراری از ۶۵۶ پاسخ تکراری در مدت زمان ۰,۹۴ ثانیه یافت شد.

181. Fairness

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Nissim Francez

Library: Library of Institute for Research in Fundamental Sciences (Tehran)

Subject: ، Computer programming,، Programming languages )Electronic computers( -- Semantics,، Parallel processing )Electronic computers(

Classification :
QA
76
.
6
.
F72
1986

182. Fairness

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Francez, Nissim.

Library: Central Library of Sharif University of Technology (Tehran)

Subject: ، Electronic digital computers-- Programming,، Programming languages )Electronic computers(-- Semantics,، Parallel processing )Electronic computers(

Classification :
QA
76
.
6
.
F7226
1986

183. Fairness

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: / Nissim Francez

Library: Library of College of Science University of Tehran (Tehran)

Subject: Electronic digital computers -- Programming,Programming languages (Electronic computers) -- Semantics,Parallel processing (Electronic computers)

Classification :
QA
76
.
6
.
F7226
1986

184. Finite representations of CCS and TCSP programs by automata and Petri nets

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Taubner, Dirk

Library: Central Library of Sharif University of Technology (Tehran)

Subject: Distributed processing ، Electronic data processing,، Petri nets,، Programming languages )Electronic computers(

Classification :
QA
76
.
9
.
D5
.
T39
1989

185. Finite representations of CCS and TCSP programs by automata and Petri nets

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Dirk Taubner

Library: Library of Institute for Research in Fundamental Sciences (Tehran)

Subject: ، Electronic data processing -- Distributed processing,، Petri nets,، Programming languages )Electronic computers(

Classification :
QA
76
.
L28
Vol
.
369

186. Finite representations of CCS and TCSP programs by automata and Petri nets

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: / Dirk Taubner

Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)

Subject: Electronic data processing--Distributed processing,Petri nets,Programming languages (Electronic computers)

Classification :
QA
,
76
.
9
,.
D5
,
T39
,
1989

187. Finite representations of CCS and TCSP programs by automata and Petri nets

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: / Dirk Taubner

Library: Library of College of Science University of Tehran (Tehran)

Subject: Electronic data processing -- Distributed processing,Petri nets,Programming languages (Electronic computers)

Classification :
QA
76
.
9
.
D5
T39
1989

188. Flow analysis of computer programs

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Hecht, Matthew S.

Library: Central Library of Sharif University of Technology (Tehran)

Subject: ، Electronic digital computers-- Programming,، Flowgraphs,، Computer algorithms

Classification :
QA
76
.
6
.
H4

189. Formal Methods and Software Development :

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: edited by Hartmut Ehrig, Christiane Floyd, Maurice Nivat, James Thatcher.

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Computer science.,Programming languages (Electronic computers),Software engineering.

Classification :

190. Formal and natural computing : essays dedicated to Grzegorz Rozenberg

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Wilfried Brauer...]et al.[ )eds.(

Library: Library of Institute for Research in Fundamental Sciences (Tehran)

Subject: ، Programming languages )Electronic computers(,، Computer science -- Mathematics,، Machine theory,، Petri nets,، Graph grammars,، Rozenberg, Grzegorz

Classification :
QA
76
.
L28
Vol
.
2300

191. Formal language description languages for computer programming; proceedings

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: / Edited by T.B. Steel, Jr

Library: Library of College of Science University of Tehran (Tehran)

Subject: Programming languages (Electronic computers) -- Congresses

Classification :
QA
76
.
I17
1964

192. Formal semantics of Programming languages

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Courant Computer Science Symposium, 2d, New York, 0791

Library: Central Library of Sharif University of Technology (Tehran)

Subject: ، Programming languages )Electronic computers(-- Semantics-- Congresses

Classification :
QA
76
.
7
.
C68
1970

193. Formal specification and software development

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Bjorner, Dines

Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)

Subject: Programming ، Electronic digital computers,، Programming languages )Electronic computers(

Classification :
QA
76
.
6
.
B575
1982

194. Formal specification and software development

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Bjorner, Dines, 7391-

Library: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)

Subject: ، Computer software -- Development,، Programming languages )Electronic computers(

Classification :
QA
76
.
6
.
B575

195. Formal syntax and semantics of Java

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Jim Alves-Foss )ed.(

Library: Library of Institute for Research in Fundamental Sciences (Tehran)

Subject: ، Java )Computer program language(,، Programming languages )Electronic computers( -- Semantics

Classification :
QA
76
.
L28
Vol
.
1523

196. Formal syntax and semantics of Java

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: / Jim Alves-Foss (ed.)

Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)

Subject: Java (Computer program language),Programming languages (Electronic computers)--Semantics

Classification :
QA
,
76
.
73
,.
J38
,
F67
,
1999

197. Foundations of Programming Languages /

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: by Kent D. Lee.

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Computer science.,Microprogramming.,Programming languages (Electronic computers),Computer science.,Computer Science.,Control Structures and Microprogramming.,Mathematical and Computational Engineering.,Microprogramming.,Programming languages (Electronic computers),Programming Languages, Compilers, Interpreters.,Computer science.,Microprogramming.,Programming languages (Electronic computers)

Classification :
QA76
.
76
.
C65

198. Foundations of object-oriented languages

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: / Kim B. Bruce

Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)

Subject: Object-oriented programming (Computer science),Programming languages (Electronic computers)

Classification :
QA
,
76
.
64
,.
B776
,
2002

199. Foundations of object-oriented languages: REX School/Workshop, Noordwijkerhout, the Netherlands, May 28-June 1, 1990: Proceedings

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author:

Library: Central Library of Sharif University of Technology (Tehran)

Subject: ، Object-oriented programming )Computer science(-- Congresses,، Programming languages )Electronic computers(-- Congresses

Classification :
QA
76
.
64
.
R49
1990

200. Foundations of object-oriented languages : REX School/Workshop Noordwijkerhout, the Netherlands, May 28-June 1, 1990 : Proceedings

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: J.W. de Bakker, W.P. de Roever, G. Rozenberg, )eds.(

Library: Library of Institute for Research in Fundamental Sciences (Tehran)

Subject: Congresses ، Object-oriented programming )Computer science(,Congresses ، Programming languages )Electronic computers(

Classification :
QA
76
.
L28
Vol
.
489
  • »
  • 33
  • 32
  • 31
  • 30
  • 29
  • ...
  • 14
  • 13
  • 12
  • 11
  • 10
  • 9
  • 8
  • 7
  • 6
  • ...
  • 4
  • 3
  • 2
  • 1
  • «

Proposal/Bug Report

Warning! Enter The Information Carefully
Send Cancel
This website is managed by Dar Al-Hadith Scientific-Cultural Institute and Computer Research Center of Islamic Sciences (also known as Noor)
Libraries are responsible for the validity of information, and the spiritual rights of information are reserved for them
Best Searcher - The 5th Digital Media Festival